COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input mytex[1,rdg] 
C00005 ENDMK
C⊗;
\input mytex[1,rdg] 

\def\QUESTION #1.{\HeadB⊂Question $\#$#1⊃\eightpoint\hangindent 10pt\sl\xskip\!}
\def\QUEST #1.{\HeadB⊂Question $\#$#1⊃\xskip\!}
\def\STATEMENT #1\etats{\par\yyskip
	{\hrule width 10pc}
	\eightpoint\hangindent 10pt\sl #1\par
	{\hrule width 10pc}}
\def\ANSWER{\par\HeadC⊂Answer⊃\ninepoint\rm\!}
\def\equatno(#1){{\sl Equation (#1)}}
\def\ref #1[#2]{{\bf #1},{\sl #2}}
\def\disptext #1{\par\yyskip\ctrline {#1}\par\yyskip\noindent\!}
\def\funct #1[#2]{{\LISPE #1|}{\rm [}$\,$#2$\,${\rm ]}}
\def\eq {$\null=\null$}  % this does the right thing with spacing
\def\assign {$\null\←\null$}  % this does the right thing with spacing

\def\LISPE #1|{{\sl #1}}  % this is for LISP External Notation
\def\LISPI #1|{{\bf #1}}  % this is for LISP Internal Notation
\def\a #1{\LISPI $\underline a$|$\,$#1}
\def\d #1{\LISPI $\underline d$|$\,$#1}
\def\at #1{\LISPI $\underline {\hbox {at}}$|$\,$#1}
\def\n #1{\LISPI $\underline n$|$\,$#1}
\def\cons ⊂#1.#2⊃{\LISPI #1\ .\ #2|}
\def\append ⊂#1*#2⊃{\LISPI #1\ *\ #2|}
\def\list <#1>{\LISPI <\ #1\ >|}
\def\IF #1{\LISPI $\underline {\hbox {if}}$| #1}
\def\THEN #1{\LISPI $\underline {\hbox {then}}$| #1}
\def\ELSE #1{\LISPI $\underline {\hbox {else}}$| #1}
\def\ELSEIF #1{\LISPI $\underline {\hbox {elseif}}$| #1}
\def\T{\LISPI T|\ }
\def\NIL{\LISPI NIL|\ }

\def\λ #1:{$λ$#1:$\,$}